Risultati della ricerca

• 1. Automi, linguaggi formali e combinatoria delle parole (100%)

  9-dic-2013 13.27.23

  Automi, linguaggi formali e combinatoria delle parole Automi, linguaggi formali e combinatoria delle parole, DMI, UniPa, aree di ricerca, La ricerca riguarda la Teoria degli Automi e dei Linguaggi Formali, una delle aree dell'Informatica più consolidate, che trae origine da problematiche relative ai primi computer, ai sistemi di comunicazione ed ai linguaggi di programmazione. Successivamente, gli sviluppi della tecnologia informatica hanno incrementato la necessità di esplorare nuovi modelli

• 2. SSD INF/01 "AUTOMI, LINGUAGGI FORMALI E COMBINATORIA DELLE PAROLE" (32%)

  10-feb-2015 22.55.40

  SSD INF/01 "AUTOMI, LINGUAGGI FORMALI E COMBINATORIA DELLE PAROLE" articolo, notizia, unipa Settore ERC del gruppo: PE6_4 - Theoretical computer science, formal methods, and quantum computing, PE6_6 - Algorithms, distributed, parallel and network algorithms, algorithmic game theory Responsabile scientifico/Coordinatore: RESTIVO Antonio - Prof. Ordinario Componenti: CASTIGLIONE Giuseppa - Ricercatore EPIFANIO Chiara - Ricercatore FICI Gabriele - Ric. a tempo determ. MANTACI Sabrina

• 3. INF INF/01 "AUTOMI, LINGUAGGI FORMALI E COMBINATORIA DELLE PAROLE" (32%)

  5-feb-2015 14.14.16

  INF INF/01 "AUTOMI, LINGUAGGI FORMALI E COMBINATORIA DELLE PAROLE" articolo, notizia, unipa La ricerca riguarda la Teoria degli Automi e dei Linguaggi Formali, una delle aree dell'Informatica più consolidate, che trae origine da problematiche relative ai primi computer, ai sistemi di comunicazione ed ai linguaggi di programmazione. Successivamente, gli sviluppi della tecnologia informatica hanno incrementato la necessità di esplorare nuovi modelli specifici e hanno stimolato

• 4. Network internazionale (11%)

  8-lug-2020 11.51.34

  ) AUTOMI, LINGUAGGI FORMALI E COMBINATORIA DELLE PAROLE: - King's College London (Regno Unito

• 5. PIANO TRIENNALE DELLE RICERCHE 2017 (10%)

  29-mar-2017 16.40.28

  in oncologia e neurologia", art.13, DM46965. 11. Automi, linguaggi formali e combinatoria delle parole. Settori ERC di riferimento: PE6_4 - Theoretical computer science, formal methods, and ... DIPARTIMENTO DI MATEMATICA E INFORMATICA PIANO TRIENNALE DELLE RICERCHE 2017-2019 DEL DIPARTIMENTO DI MATEMATICA E INFORMATICA (Approvato dal Consiglio di Dipartimento il 23 Marzo 2017) Il Dipartimento di Matematica e Informatica (DMI) è la struttura dell'Ateneo